Towards the Systematic Generation of Channelling Constraints
نویسندگان
چکیده
The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations of the same variable. However, the combined models generated by Conjure do not include the channelling constraints needed to maintain the consistency between the alternative representations. In this paper we show that by using only the tools already provided by the Conjure system we can generate correct channelling constraints.
منابع مشابه
Propagation Redundancy in Redundant Modelling
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraints may outweigh the gain of reduction in search space. In fact,many of the constraints in redundantmodelling are not only logically redundant but also propagation redundant and hence cannot further reduce search space....
متن کاملPlacement and Sizing of Various Renewable Generations in Distribution Networks with Consideration of Generation Uncertainties using Point Estimate Method
Abstract: Deploying Distributed Generation (DG) units has increased due to yearly increase of electric energy demand and technological advancements beyond Smart Grid. Although, DGs offer several advantages such as reducing economic costs and environmental impacts, the operation of these units in power systems creates several problems. In this paper, optimal allocation and sizing of DG units in ...
متن کاملEffects of some channelling agents on the compaction properties of the mixed stem bark extracts of Anogeissus leiocarpus and Prosopis africana
Background & Aim: The hot water extract of a mixture of Anogeissus leiocarpus and Prosopis africana is widely used in the northern part of Nigeria for the treatment and management of asthma. Since investigations of its pharmacological activities already justify its use, and the need for standardization of herbal medicine and develop appropriate dosage forms has continued to g...
متن کاملChannelling bias and the incidence of gastrointestinal haemorrhage in users of meloxicam, coxibs, and older, non-specific non-steroidal anti-inflammatory drugs.
BACKGROUND Although clinical trial results suggest that meloxicam has less gastrointestinal toxicity than most other non-steroidal anti-inflammatory drugs (NSAIDs), in practice it has been associated with a large number of yellow card reports of gastrointestinal complications. AIMS To estimate whether meloxicam and the coxibs, rofecoxib and celecoxib, have been channelled towards high risk pa...
متن کاملThe role of creative economics in entrepreneurship and revenue generation of public libraries: A systematic review
Purpose: The present study was conducted to identify the status of research on entrepreneurship and income generation in public libraries with a focus on creative economics. Method: The present study is a systematic study. The statistical population of this study was all the researches done in the field of creative economy in public libraries that have been published in connection with entrepr...
متن کامل